Revision: tla-tools--devo--0--patch-110
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Thu Dec  4 17:00:58 JST 2003
Standard-date: 2003-12-04 08:00:58 GMT
Modified-files: ChangeLog Makefile.in configure
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-110
Summary: Better configuration of awk prog

Now two configuration variables are used, AWK and ABS_AWK, of which the
latter should be an absolute path (which is needed for #! executables).

This is primarly intended to handle upgrading gracefully in existing
build directories, where AWK is set to a non-absolute program name.
